Liouvillian solutions of linear difference-differential equations
نویسندگان
چکیده
For a field k with an automorphism σ and a derivation δ, we introduce the notion of liouvillian solutions of linear difference-differential systems {σ(Y ) = AY, δ(Y ) = BY } over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x, t), σ(x) = x + 1, δ(t) = d dt and the size of the system is a prime.
منابع مشابه
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations
A normal form is given for integrable linear difference-differential equations {σ(Y ) = AY, δ(Y ) = BY }, which is irreducible over C(x, t) and solvable in terms of liouvillian solutions. We refine this normal form and devise an algorithm to compute all liouvillian solutions of such kind of systems of prime order.
متن کاملLiouvillian Solutions of Difference-Differential Equations
For a field k with an automorphism σ and a derivation δ, we introduce the notion of liouvillian solutions of linear difference-differential systems {σ(Y ) = AY, δ(Y ) = BY } over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x, t), σ(x) = x+ 1, ...
متن کاملLiouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients
Let L(y) = b be a linear differential equation with coefficients in a differential field K. We discuss the problem of deciding if such an equation has a non-zero solution in K and give a decision procedure in case K is an elementary extension of the field of rational functions or is an algebraic extension of a transcendental liouvillian extension of the field of rational functions. We show how ...
متن کاملLiouvillian solutions of third order differential equations
The Kovacic algorithm and its improvements give explicit formulae for the Liouvillian solutions of second order linear differential equations. Algorithms for third order differential equations also exist, but the tools they use are more sophisticated and the computations more involved. In this paper we refine parts of the algorithm to find Liouvillian solutions of third order equations. We show...
متن کاملLiouvillian First Integrals of Differential Equations
Liouvillian functions are functions that are built up from rational functions using exponentiation, integration, and algebraic functions. We show that if a system of differential equations has a generic solution that satisfies a liouvillian relation, that is, there is a liouvillian function of several variables vanishing on the curve defined by this solution, then the system has a liouvillian f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 45 شماره
صفحات -
تاریخ انتشار 2010